Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
๐Ÿ”—Functional Compilers
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท22hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท16h
๐Ÿ“Log Parsing
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท1hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ŸŽฏGradual Typing
Flag this post
Vibe coding needs a spec, too
stackoverflow.blogยท12h
๐Ÿ”ŒInterface Evolution
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ”“Decompilation
Flag this post
Ajla Tutorial
ajla-lang.czยท19hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.orgยท11hยท
๐Ÿ”—Functional Compilers
Flag this post
An introduction to OCI Containers on FreeBSD
freebsdfoundation.orgยท2h
๐Ÿ“ฆMETS Containers
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.comยท4hยท
Discuss: Hacker News
๐Ÿ‘๏ธObservatory Systems
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท5hยท
๐Ÿ”’Type Safety
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
โœ…Format Verification
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.nameยท12hยท
Discuss: Hacker News
ฮปLambda Formalization
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.orgยท21hยท
๐ŸŒWASI
Flag this post
OpenSMTPD 7.8.0p0
bsdsec.netยท9h
๐ŸกOpenBSD
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท1dยท
Discuss: Hacker News
๐Ÿ“ŠStatic Analysis
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.comยท19hยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Flag this post